Results for 'Lothar Wilfried Hilbert'

948 found
Order:
  1.  13
    L'officier français : un portrait sociologique.Lothar Wilfried Hilbert - 1962 - Res Publica 4 (2):148-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  45
    Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
    David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3. Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
    Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  4. Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.
    On June 4, 1925, Hilbert delivered an address to the Westphalian Mathematical Society in Miinster; that was, as a quick calculation will convince you, almost exactly sixty years ago. The address was published in 1926 under the title Über dasUnendlicheand is perhaps Hilbert's most comprehensive presentation of his ideas concerning the finitist justification of classical mathematics and the role his proof theory was to play in it. But what has become of the ambitious program for securing all of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  68
    The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
    It is a remarkable fact that Hilbert's programmatic papers from the 1920s still shape, almost exclusively, the standard contemporary perspective of his views concerning (the foundations of) mathematics; even his own, quite different work on the foundations of geometry and arithmetic from the late 1890s is often understood from that vantage point. My essay pursues one main goal, namely, to contrast Hilbert's formal axiomatic method from the early 1920s with his existential axiomatic approach from the 1890s. Such a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  6.  9
    Lothar III. und die Privilegien des Klosters Montecassino.Wilfried Treseler - 2001 - Frühmittelalterliche Studien 35 (1):293-328.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  25
    Hilbert's Proof Theory.Wilfried Sieg - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--321.
  8.  69
    David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.Wilfried Sieg & Mark Ravaglia - unknown
    Wilfred Sieg and Mark Ravaglia. David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. (1 other version)Only two letters: The correspondence between herbrand and gödel.Wilfried Sieg - 2005 - Bulletin of Symbolic Logic 11 (2):172-184.
    Two young logicians, whose work had a dramatic impact on the direction of logic, exchanged two letters in early 1931. Jacques Herbrand initiated the correspondence on 7 April and Kurt Gödel responded on 25 July, just two days before Herbrand died in a mountaineering accident at La Bérarde (Isère). Herbrand's letter played a significant role in the development of computability theory. Gödel asserted in his 1934 Princeton Lectures and on later occasions that it suggested to him a crucial part of (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  57
    A symposium on Hilbert's program.Wilfrid Hodges & Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):337.
  11.  7
    Metakritik der formalen Logik.Lothar Eley - 1970 - Den Haag,: Martinus Nijhoff.
    Die Logik, einst Grundbestand der Philosophie, hat sich in unserem J ahrhundert zu einer selbstandigen Wissenschaft ent 1 wickelt. Sie wird zur Abgrenzung gegeniiber friiheren Gestalten "neue Logik" oder "moderne Logik" genannt; auch sind Be zeichnungen wie "theoretische Logik", "mathematische Logik", "symbolische Logik", "formale Logik", "Logistik" gebrauch 2 lich, urn die Eigenart der grundlegenden Methoden anzudeuten. Die genannten Benennungen werden in dieser Arbeit gleichbe rechtigt gebraucht. Mit 1. M. BOCHENSKI und A. MENNE kann man unter Logistik in weiterem Sinne "die (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  16
    David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  50
    Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.
  14.  35
    Wilfried Sieg. Hilbert's Programs and Beyond. xii + 440 pp., illus., bibl., index. Oxford: Oxford University Press, 2013. $85 .William Ewald;, Wilfried Sieg ., Michael Hallett . David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. xxv + 1,062 pp., tables, bibl., indexes. Berlin: Springer, 2013. $139. [REVIEW]Tom Archibald - 2015 - Isis 106 (2):481-483.
  15.  19
    William Ewald and Wilfried Sieg , Michael Hallett , David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm , Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 $129.00, $86.37. [REVIEW]Volker Peckhaus - 2017 - Studia Logica 105 (3):669-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    Reviewed Work: David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
  17.  42
    William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. xxv + 1062. [REVIEW]Paolo Mancosu - 2015 - Philosophia Mathematica 23 (1):126-135.
  18.  83
    Mathematics and mind.Alexander George (ed.) - 1994 - New York: Oxford University Press.
    Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  15
    Christliche Sozialethik im Dialog: zur Zukunftsfähigkeit von Wirtschaft, Politik und Gesellschaft ; Festschrift zum 65. Geburtstag von Lothar Roos.Lothar Roos, Ursula Nothelle-Wildfeuer & Norbert Glatzel (eds.) - 2000 - Grafschaft: Vektor-Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  9
    Sprechen und Gesprochenes: Geschichte der Sprechwissenschaft in Marburg: Standpunkte, Erinnerungen, Visionen: Festschrift für Lothar Berger.Lothar Berger & Christa M. Heilmann (eds.) - 2002 - Münster: Lit.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  12
    Bildung an ihren Grenzen: zwischen Theorie und Empirie: Festschrift zum 60. Geburtstag von Prof. Dr. Lothar Wigger.Lothar Wigger, Andreas Dörpinghaus, Ulrike Mietzner & Barbara Platzer (eds.) - 2015 - Darmstadt: WBG, Wissenschaftliche Buchgesellschaft.
  22. Analyse moralischer Argumentationen: Beschreibung eines Auswertungsverfahrens.Wilfried Spang & Wolfgang Lempert - 1989 - Berlin: Max-Planck-Institut für Bildungsforschung. Edited by Wolfgang Lempert.
    [1] Textteil : Grundlagen, Prozeduren, Evaluation -- [2] Anhang : Interviewleitfaden, Tonbandtranskript und Auswertungsbeispiele.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Sind die Lehrverurteilungen des 16. Jahrhunderts wirklich night mehr kirchentrennend?Lothar Ullrich - 1992 - In Klaus Demmer, Karl-Heinz Ducke & Wilhelm Ernst (eds.), Moraltheologie im Dienst der Kirche: Festschrift für Wilhelm Ernst zum 65. Geburtstag. Leipzig: Benno Verlag.
     
    Export citation  
     
    Bookmark  
  24.  19
    Infelix Camilla(Verg. Aen. 11, 563).Lothar Zieske - 2008 - Hermes 136 (3):378-380.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Traditionelle und moderne Logik: Lothar Kreiser gewidmet.Ingolf Max & Lothar Kreiser (eds.) - 2003 - [Leipzig]: Leipziger Universitätsverlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  8
    Transzendentalphilosophie und die Kultur der Gegenwart: Festschrift für Wilfried Lehrke.Wilfried Lehrke, Steffen Dietzsch & Udo Teitz (eds.) - 2012 - Leipzig: Leipziger Universitätsverlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Hilbert’s Invariant Theory Papers Vol. Viii.David Hilbert, Michael Ackermann & Robert Hermann - 1978 - Math Science Press.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  28. Conscious control over the content of unconscious cognition.Wilfried Kunde, Andrea Kiesel & Joachim Hoffmann - 2003 - Cognition 88 (2):223-242.
  29. An Abstract Model For Parallel Computations: Gandy’s Thesis.Wilfried Sieg & John Byrnes - 1999 - The Monist 82 (1):150-164.
    Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  30.  86
    Calculations by Man and Machine: Mathematical Presentation.Wilfried Sieg - unknown
    Wilfried Sieg. Calculations by Man and Machine: Mathematical Presentation.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  31. (1 other version)Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
  32. Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
    Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Individualität und Personalität im embryonalen Werden.Wilfried Ruff - 1970 - Theologie Und Philosophie 45 (1):24-59.
     
    Export citation  
     
    Bookmark   2 citations  
  34.  23
    Proof-theoretic analysis of termination proofs.Wilfried Buchholz - 1995 - Annals of Pure and Applied Logic 75 (1-2):57-65.
  35. Color and Color Perception: A Study in Anthropocentric Realism.David R. Hilbert - 1987 - Csli Press.
    Colour has often been supposed to be a subjective property, a property to be analysed orretly in terms of the phenomenological aspects of human expereince. In contrast with subjectivism, an objectivist analysis of color takes color to be a property objects possess in themselves, independently of the character of human perceptual expereince. David Hilbert defends a form of objectivism that identifies color with a physical property of surfaces - their spectral reflectance. This analysis of color is shown to provide (...)
    Direct download  
     
    Export citation  
     
    Bookmark   181 citations  
  36.  83
    A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
    In this article we give a unifying approach to the theory of fundamental sequences and their related Hardy hierarchies of number-theoretic functions and we show the equivalence of the new approach with the classical one.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  37.  13
    Margrit & Ernst Baumann. Die Welt Sehen: Fotoreportagen 1945–2000.Wilfried Meichtry, Markus Schürpf & Nadine Olonetzky - 2010 - Scheidegger & Spiess.
    Zuerst im 2CV, dann im umgebauten VW-Bus: Das Zürcher Fotografenpaar Margrit und Ernst Baumann, 1929 bzw. 1928 geboren, begann in den 1950er-Jahren rund um den Erdball zu reisen. Ihre Fotografien publizierten sie in Zeitschriften und Zeitungen wie Stern, Neue Zürcher Zeitung oder Das gelbe Heft und brachten so die Welt in die Wohnzimmer. Kosmopolitan und neugierig kamen sie zu Motiven mit Seltenheitswert: Farbporträts von Che Guevara gehören ebenso dazu wie Reportagen über die letzten Kopfjäger im ecuadorianischen Urwald. Ein Schwerpunkt dieser (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  48
    Herbrand analyses.Wilfried Sieg - 1991 - Archive for Mathematical Logic 30 (5-6):409-441.
    Herbrand's Theorem, in the form of $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle-}$}}{\exists } $$ -inversion lemmata for finitary and infinitary sequent calculi, is the crucial tool for the determination of the provably total function(al)s of a variety of theories. The theories are (second order extensions of) fragments of classical arithmetic; the classes of provably total functions include the elements of the Polynomial Hierarchy, the Grzegorczyk Hierarchy, and the extended Grzegorczyk Hierarchy $\mathfrak{E}^\alpha $ , α < ε0. A subsidiary aim of the paper is to show (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  39.  50
    An independence result for (II11-CA)+BI.Wilfried Buchholz - 1987 - Annals of Pure and Applied Logic 33 (C):131-155.
  40.  5
    Emil Wiechert und seine Bedeutung für die Entwicklung der Geophysik zur exakten Wissenschaft.Wilfried Schröder - 1982 - Archive for History of Exact Sciences 27 (4):369-389.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  22
    5.—in Germany.Lothar Loeffler - 1932 - The Eugenics Review 24 (1):27.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Terror, Religion und Justiz: Vera Figners Lebenserinnerungen wiedergelesen.Lothar Maier - 2004 - Rechtstheorie 35 (3):323-334.
     
    Export citation  
     
    Bookmark  
  43.  15
    Eduard Bernstein.Wilfried Rudioff - 2002 - In Bernd Heidenreich (ed.), Politische Theorien des 19. Jahrhunderts. Akademie Verlag. pp. 507-536.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  5
    Perspektivenwechsel in Psychoanalyse und Religion: Reflexionen über ethische Fragen und Weltanschauungen.Wilfried Ruff - 2017 - Giessen: Psychosozial-Verlag.
  45.  5
    Contribuic̣ão para a história da filosofia portuguesa.Lothar Thomas - 1944 - Lisboa,: Depositaria: Livraria Classica Editora.
    1. v. A história da filosofia portuguesa desde o seu coméc̣o até ao final do século xvi (exceptuada a restaurac̣ão da escolástica).
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  38
    Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
    A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  47.  66
    Condillac und die Monaden.Lothar Kreimendahl - 1982 - Archiv für Geschichte der Philosophie 64 (3):280-288.
  48. Vernunft nach Menschenmass-Hilary Putnams neue Philosophie als mittlerer Weg zwischen Absolutheitsdenken und Relativismus.Wilfried Franzen - 1985 - Philosophische Rundschau 32 (3-4):191.
     
    Export citation  
     
    Bookmark   3 citations  
  49. Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 71--117.
    Wilfred Sieg. Mechanical Procedures and Mathematical Experience.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  50.  14
    Algebraic and Model Theoretic Properties of O-minimal Exponential Fields.Lothar Sebastian Krapp - 2021 - Bulletin of Symbolic Logic 27 (4):529-530.
    An exponential $\exp $ on an ordered field .Thestructure. The structure is then called an ordered exponential field. A linearly ordered structure iscalledominimalifeveryparametricallydefinablesubsetofMisafiniteunionofpointsandopenintervalsofM.Themainsubjectofthisthesisisthealgebraicandmodeltheoreticexaminationofominimalexponentialfields is called o-minimal if every parametrically definable subset of M is a finite union of points and open intervals of M.The main subject of this thesis is the algebraic and model theoretic examination of o-minimal exponential fields whose exponential satisfies the differential equation $\exp ' = \exp $ with initial condition $\exp = 1$. This study (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 948